System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
861	Erlang/OTP System Documentation Copyright © [removed]Ericsson AB. All Rights Reserved. Erlang/OTP System Documentation[removed]November[removed] Copyright © [removed]Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Cross-platform software Ericsson Erlang Erlang programming language Linux Autoconf Opa Debian Software Computing System software
862	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
863	Members of Padeborn University were quick to recognize the potential of the Typo3 Open Source Content Management System. Easy to learn and use, no license costs and diverse expansion possibilities make Typo3 the ideal CM Add to Reading List Source URL: www.realobjects.com Language: English - Date: 2013-04-30 03:54:22 PHP programming language PHP frameworks Cross-platform software TYPO3 Typo Paderborn Ter Plug-in Software Blog software Content management systems
864	banner above paper title Typed Transformations of Typed Abstract Syntax Arthur Baars S. Doaitse Swierstra Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2008-10-16 11:51:41 Programming language theory Data types Functional programming LG enV2 LG enV Type system Env Generalized algebraic data type ECL programming language Software engineering Computing Type theory
865	Notes on the Foundations of Programming Volume II Alexander A. Stepanov Matthew A. Marcus Draft of April 6, 2005 Add to Reading List Source URL: www.emarcus.org Language: English - Date: 2011-09-23 00:57:36 APL programming language family Array programming languages Functional languages Data types Procedural programming languages APL Pointer IBM System/360 C Computing Software engineering Computer programming
866	Eidgenössische Technische Hochschule Zürich SYSTEMS PROGRAMMING[removed]) Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2001-10-23 08:17:50 Computer programming Assembly language Programming language Compiler Unix System programming Operating system Software Programming language implementation Computing
867	Motif Programming Manual 1 Preface...........................................................................................................................................................................1 1.1 The Plot Add to Reading List Source URL: www.oreilly.com Language: English - Date: 2002-11-07 17:20:09 Widget toolkits Graphical user interfaces X Toolkit Intrinsics GUI widget X Window System core protocol Xlib Motif Dialog Control Language GIMP version history Software System software Computing
868	Ji Gong Freedom vs. FUD ? Add to Reading List Source URL: jogamp.org Language: English - Date: 2014-02-03 15:05:47 Java platform Java virtual machine Java programming language JamVM OpenJDK IcedTea Java HotSpot Fear uncertainty and doubt Computing Software System software
869	The Elements of Computing Systems Add to Reading List Source URL: www1.idc.ac.il Language: English - Date: 2010-08-26 11:30:06 Programming paradigms Central processing unit Computer architecture Abstraction Operating system Assembly language Computer Emulator Software engineering Computing Software Programming language implementation
870	Optimising a Zend Framework application Rob Allen PHPUK February 2011 Add to Reading List Source URL: akrabat.com Language: English - Date: 2013-12-19 04:29:54 Xdebug System administration Zend Framework Localhost Su Software PHP programming language Debuggers

UPDATE